{
  "guild": {
    "id": "1361349522684510449",
    "name": "wafer.space Community",
    "iconUrl": "2025-11_media/fb143eaa45770cbb40493d09b625e98b-09FD1.png"
  },
  "channel": {
    "id": "1440427510159638538",
    "type": "GuildPublicThread",
    "categoryId": "1409660288822673408",
    "category": "⁉️-questions",
    "name": "Yosys  check errors found",
    "topic": null
  },
  "dateRange": {
    "after": "2025-10-31T23:59:59.999+00:00",
    "before": "2025-12-01T00:00:00+00:00"
  },
  "exportedAt": "2026-07-08T17:12:13.9088512+00:00",
  "messages": [
    {
      "id": "1440427510159638538",
      "type": "Default",
      "timestamp": "2025-11-18T19:44:40.271+00:00",
      "timestampEdited": null,
      "callEndedTimestamp": null,
      "isPinned": false,
      "content": "I had this  message, failing in stage `08-checker-yosyssynthchecks`:\n\n```\n39 Yosys check errors found.\n```\n\nGrepping for `error` in my yosys synthesis log didn't show any likely-looking errors. I eventually realised that 39 was exactly the number of bidi pad data pins I'd not  yet bothered to connect (early hacking!) so my issue is solved, but next time I get this message, how do I find the actual errors? Is `yosys-synthesis.log` the wrong place to look?",
      "author": {
        "id": "803213471402688522",
        "name": "_luke_w_",
        "discriminator": "0000",
        "nickname": "LukeW",
        "color": null,
        "isBot": false,
        "roles": [],
        "avatarUrl": "2025-11_media/a2f98861602ee8229f4eb87d5c25d1b1-5FBF4.png"
      },
      "attachments": [],
      "embeds": [],
      "stickers": [],
      "reactions": [],
      "mentions": [],
      "inlineEmojis": []
    },
    {
      "id": "1440439686526144552",
      "type": "Default",
      "timestamp": "2025-11-18T20:33:03.343+00:00",
      "timestampEdited": "2025-11-18T20:42:12.56+00:00",
      "callEndedTimestamp": null,
      "isPinned": false,
      "content": "They are buried in `yosys-synthesis.log` (grep for \"Executing CHECK pass\") and also seem to appear separately in `reports/pre_synth_chk.rpt` (in the same yosys-synthesis step of the flow)\n\nIt is definitely confusing that the 08-checker step produces the error but isn't the producer of that file",
      "author": {
        "id": "537091611323007003",
        "name": "aedancullen",
        "discriminator": "0000",
        "nickname": "aedancullen",
        "color": null,
        "isBot": false,
        "roles": [],
        "avatarUrl": "2025-11_media/fc1bc9aef8b4b153a5765fb1d45f5241-983A5.png"
      },
      "attachments": [],
      "embeds": [],
      "stickers": [],
      "reactions": [
        {
          "emoji": {
            "id": "",
            "name": "\uD83D\uDC4D",
            "code": "thumbsup",
            "isAnimated": false,
            "imageUrl": "2025-11_media/1f44d-27259.svg"
          },
          "count": 1,
          "users": [
            {
              "id": "803213471402688522",
              "name": "_luke_w_",
              "discriminator": "0000",
              "nickname": "LukeW",
              "color": null,
              "isBot": false,
              "avatarUrl": "2025-11_media/a2f98861602ee8229f4eb87d5c25d1b1-5FBF4.png"
            }
          ]
        }
      ],
      "mentions": [],
      "inlineEmojis": []
    },
    {
      "id": "1440478400174227487",
      "type": "Default",
      "timestamp": "2025-11-18T23:06:53.396+00:00",
      "timestampEdited": null,
      "callEndedTimestamp": null,
      "isPinned": false,
      "content": "Weird, I did see the CHECK output but nothing obvious under there. Anyway thanks, I know where to look next time. Familiar name by the way \uD83D\uDE05",
      "author": {
        "id": "803213471402688522",
        "name": "_luke_w_",
        "discriminator": "0000",
        "nickname": "LukeW",
        "color": null,
        "isBot": false,
        "roles": [],
        "avatarUrl": "2025-11_media/a2f98861602ee8229f4eb87d5c25d1b1-5FBF4.png"
      },
      "attachments": [],
      "embeds": [],
      "stickers": [],
      "reactions": [
        {
          "emoji": {
            "id": "",
            "name": "\uD83D\uDE42",
            "code": "slight_smile",
            "isAnimated": false,
            "imageUrl": "2025-11_media/1f642-83E8A.svg"
          },
          "count": 1,
          "users": [
            {
              "id": "537091611323007003",
              "name": "aedancullen",
              "discriminator": "0000",
              "nickname": "aedancullen",
              "color": null,
              "isBot": false,
              "avatarUrl": "2025-11_media/fc1bc9aef8b4b153a5765fb1d45f5241-983A5.png"
            }
          ]
        }
      ],
      "mentions": [],
      "inlineEmojis": [
        {
          "id": "",
          "name": "\uD83D\uDE05",
          "code": "sweat_smile",
          "isAnimated": false,
          "imageUrl": "2025-11_media/1f605-42B43.svg"
        }
      ]
    },
    {
      "id": "1440533456940437708",
      "type": "Default",
      "timestamp": "2025-11-19T02:45:39.952+00:00",
      "timestampEdited": null,
      "callEndedTimestamp": null,
      "isPinned": false,
      "content": "had to dig in a little more because I have a check.rpt saying:\n\n```\nFound and reported 0 problems.\n```\n\nAnd a state_out.json saying:\n\n```\n        \"synthesis__check_error__count\": 1\n```\n\nSeems like the  actual source for that log lint is here:\nhttps://github.com/librelane/librelane/blob/2bf4f4a399da9d41fbef24814cd7946bf9692ead/librelane/steps/pyosys.py#L50-L92",
      "author": {
        "id": "803213471402688522",
        "name": "_luke_w_",
        "discriminator": "0000",
        "nickname": "LukeW",
        "color": null,
        "isBot": false,
        "roles": [],
        "avatarUrl": "2025-11_media/a2f98861602ee8229f4eb87d5c25d1b1-5FBF4.png"
      },
      "attachments": [],
      "embeds": [
        {
          "title": "librelane/librelane/steps/pyosys.py at 2bf4f4a399da9d41fbef24814cd7...",
          "url": "https://github.com/librelane/librelane/blob/2bf4f4a399da9d41fbef24814cd7946bf9692ead/librelane/steps/pyosys.py",
          "timestamp": null,
          "description": "ASIC implementation flow infrastructure. Contribute to librelane/librelane development by creating an account on GitHub.",
          "color": "#1E2327",
          "thumbnail": {
            "url": "2025-11_media/librelane-2ADA1",
            "width": 1200,
            "height": 600
          },
          "images": [],
          "fields": [],
          "inlineEmojis": []
        }
      ],
      "stickers": [],
      "reactions": [],
      "mentions": [],
      "inlineEmojis": []
    },
    {
      "id": "1440533779826348216",
      "type": "Default",
      "timestamp": "2025-11-19T02:46:56.934+00:00",
      "timestampEdited": null,
      "callEndedTimestamp": null,
      "isPinned": false,
      "content": "which got me the correct error (which should really be fatal  in yosys!)\n```\nWarning: Wire $paramod$053944574b759a0e3f2ebe9134306bd1be3bd197\\twowire_dtm_core.\\ndtmresetreq is used but has no driver.\n```",
      "author": {
        "id": "803213471402688522",
        "name": "_luke_w_",
        "discriminator": "0000",
        "nickname": "LukeW",
        "color": null,
        "isBot": false,
        "roles": [],
        "avatarUrl": "2025-11_media/a2f98861602ee8229f4eb87d5c25d1b1-5FBF4.png"
      },
      "attachments": [],
      "embeds": [],
      "stickers": [],
      "reactions": [],
      "mentions": [],
      "inlineEmojis": []
    },
    {
      "id": "1441578023856898190",
      "type": "Default",
      "timestamp": "2025-11-21T23:56:24.112+00:00",
      "timestampEdited": null,
      "callEndedTimestamp": null,
      "isPinned": false,
      "content": "@LukeW - Did you end up getting this one solved?",
      "author": {
        "id": "169786952432746498",
        "name": "mithro_",
        "discriminator": "0000",
        "nickname": "Tim 'mithro' Ansell",
        "color": null,
        "isBot": false,
        "roles": [],
        "avatarUrl": "2025-11_media/9679bb77da48d47c905b398d98a83780-75B68.png"
      },
      "attachments": [],
      "embeds": [],
      "stickers": [],
      "reactions": [],
      "mentions": [
        {
          "id": "803213471402688522",
          "name": "_luke_w_",
          "discriminator": "0000",
          "nickname": "LukeW",
          "color": null,
          "isBot": false,
          "roles": [],
          "avatarUrl": "2025-11_media/a2f98861602ee8229f4eb87d5c25d1b1-5FBF4.png"
        }
      ],
      "inlineEmojis": []
    },
    {
      "id": "1441588410002313468",
      "type": "Default",
      "timestamp": "2025-11-22T00:37:40.362+00:00",
      "timestampEdited": null,
      "callEndedTimestamp": null,
      "isPinned": false,
      "content": "yep, I know the things to grep the log for now \uD83D\uDE42",
      "author": {
        "id": "803213471402688522",
        "name": "_luke_w_",
        "discriminator": "0000",
        "nickname": "LukeW",
        "color": null,
        "isBot": false,
        "roles": [],
        "avatarUrl": "2025-11_media/a2f98861602ee8229f4eb87d5c25d1b1-5FBF4.png"
      },
      "attachments": [],
      "embeds": [],
      "stickers": [],
      "reactions": [],
      "mentions": [],
      "inlineEmojis": [
        {
          "id": "",
          "name": "\uD83D\uDE42",
          "code": "slight_smile",
          "isAnimated": false,
          "imageUrl": "2025-11_media/1f642-83E8A.svg"
        }
      ]
    }
  ],
  "messageCount": 7
}